A Shrinking Lemma for Indexed Languages
نویسنده
چکیده
This article presents a lemma in the spirit of the pumping lemma for indexed languages but easier to employ. Section
منابع مشابه
Pumping Lemma for Higher-order Languages
We study a pumping lemma for the word/tree languages generated by higher-order grammars. Pumping lemmas are known up to order-2 word languages (i.e., for regular/context-free/indexed languages), and have been used to show that a given language does not belong to the classes of regular/context-free/indexed languages. We prove a pumping lemma for word/tree languages of arbitrary orders, modulo a ...
متن کاملA new pumping lemma for indexed languages, with an application to infinite words
We prove a pumping lemma in order to characterize the infinite words determined by indexed languages. An infinite language L determines an infinite word α if every string in L is a prefix of α. If L is regular or context-free, it is known that α must be ultimately periodic. We show that if L is an indexed language, then α is a morphic word, i.e., α can be generated by iterating a morphism under...
متن کاملOn Infinite Words Determined by Indexed Languages
We characterize the infinite words determined by indexed languages. An infinite language L determines an infinite word α if every string in L is a prefix of α. If L is regular or context-free, it is known that α must be ultimately periodic. We show that if L is an indexed language, then α is a morphic word, i.e., α can be generated by iterating a morphism under a coding. Since the other directi...
متن کاملOgden’s Lemma for Random Permitting and Forbidding Context Picture Languages and Table-Driven Context-Free Picture Languages
Random context picture grammars are used to generate pictures through successive refinement. There are three important subclasses of random context picture grammars, namely random permitting context picture grammars, random forbidding context picture grammars and table-driven context-free picture grammars. These grammars generate the random permitting context picture languages, random forbiddin...
متن کاملA Pumping Lemma for Collapsible Pushdown Graphs of Level 2
We present a pumping lemma for the class of collapsible pushdown graphs of level 2. This pumping lemma even applies to the ε-contractions of level 2 collapsible pushdown graphs. Our pumping lemma also improves the bounds of Hayashi’s pumping lemma for indexed languages. 1998 ACM Subject Classification F.1.1 Models of Computation
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 163 شماره
صفحات -
تاریخ انتشار 1996